Knihy od autora Peter H. Schmitt

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Nonmonotonic and Inductive Logic

   Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt | Springer, Berlin, 1993

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
2. 

   Verification of Object-Oriented Software. The KeY Approach

   Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3313 Kč

   Koupit
3. 

   Theorie der logischen Programmierung

   Peter H. Schmitt | Springer, Berlin, 1992

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Němčina

   Vazba: Brožovaná

   1830 Kč

   Koupit
4. 

   Deductive Software Verification - The KeY Book

   Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 10-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3907 Kč

   Koupit

Knihy zasíláme ve speciálních obalech z pevné lepenky. Zjistěte více